// 此源代码的使用受BSD样式
// 许可证的约束，该许可证可以在许可证文件中找到。

package fuzz

import (
	"reflect"
)

func isMinimizable(t reflect.Type) bool {
	return t == reflect.TypeOf("") || t == reflect.TypeOf([]byte(nil))
}

func minimizeBytes(v []byte, try func([]byte) bool, shouldStop func() bool) {
	tmp := make([]byte, len(v))
	// 如果最小化在最小化字节期间的任何一点都成功，则
	// 然后是（*workerServer）中的VAL切片。最小化输入将指向
	// tmp。由于tmp在生成新的候选项时会发生更改，因此我们需要在退出
	// 此函数之前，确保它等于正确的值v。
	defer copy(tmp, v)

	// 首先，试着剪掉尾巴。
	for n := 1024; n != 0; n /= 2 {
		for len(v) > n {
			if shouldStop() {
				return
			}
			candidate := v[:len(v)-n]
			if !try(candidate) {
				break
			}
			// 将v设置为新值以继续迭代。
			v = candidate
		}
	}

	// 然后，尝试删除每个字节。
	for i := 0; i < len(v)-1; i++ {
		if shouldStop() {
			return
		}
		candidate := tmp[:len(v)-1]
		copy(candidate[:i], v[:i])
		copy(candidate[i:], v[i+1:])
		if !try(candidate) {
			continue
		}
		// Update v删除索引i处的值。
		copy(v[i:], v[i+1:])
		v = v[:len(candidate)]
		// v[i]现在不同了，所以减少i以使用新值重新执行循环的迭代
		// 。
		i--
	}

	// 然后，尝试删除每个可能的字节子集。
	for i := 0; i < len(v)-1; i++ {
		copy(tmp, v[:i])
		for j := len(v); j > i+1; j-- {
			if shouldStop() {
				return
			}
			candidate := tmp[:len(v)-j+i]
			copy(candidate[i:], v[j:])
			if !try(candidate) {
				continue
			}
			// 更新v并用新长度重置循环。
			copy(v[i:], v[j:])
			v = v[:len(candidate)]
			j = len(v)
		}
	}

	// 然后，尝试将每个
	// 字节替换为可打印字符，以使其更加简化和易于阅读。
	printableChars := []byte("012789ABCXYZabcxyz !\"#$%&'()*+,.")
	for i, b := range v {
		if shouldStop() {
			return
		}

		for _, pc := range printableChars {
			v[i] = pc
			if try(v) {
				// 成功。转到v.
				break
			}
			// 中的下一个字节。未成功。将v[i]还原为原始值。
			v[i] = b
		}
	}
}
